Rigorous Quantitative Analysis of Multigrid

Exact numerical convergence factors for any multigrid cycle can be predicted by local mode (Fourier) analysis. For general linear elliptic PDE systems with piecewise smooth coeecients in general domains discretized by uniform grids, it is proved that, in the limit of small meshsizes, these predicted factors are indeed obtained, provided the cycle is supplemented with a proper processing at and near the boundaries. That processing, it is proved, costs negligible extra computer work. Apart from mode analysis, a Coarse Grid Approximation (CGA) condition is introduced which is both necessary and suucient for the multigrid algorithm to work properly. The present part studies the L 2 convergence in one cycle, for equations with constant coeecients. In the sequel 1 P2], extensions is discussed to many cycles (asymptotic convergence), to more levels with arbitrary cycle types (V , W, etc.), and to FMG algorithms. Various error norms and their relations to the orders of the inter-grid transfer operators are analyzed. Global mode analysis, required to supplement the local analysis in various border cases, is developed and partial relaxation sweeps are systematically introduced into both analysis and practice. 1 Most of the present paper, together with P2], appeared as RL] (containing an erroneous Appendix, later removed).